- альфа-преобразование
- (в лямбда-исчислении - переименование формального параметра в абстрактную лямбда-структуру) alpha conversion
Русско-английский словарь по вычислительной технике и программированию . 2013.
альфа-преобразование
Look at other dictionaries:
Список звёзд и планетных систем в фантастике — Содержание 1 Ярчайшие звёзды 2 Ближайшие звёзды … Википедия
ЖРО — Радиоактивные отходы (РАО) отходы, содержащие радиоактивные химические элементы и не имеющие практической ценности. Часто это продукты ядерных процессов, таких как ядерное деление. Большую часть РАО составляют так называемые «малоактивные… … Википедия
Жидкие радиоактивные отходы — Радиоактивные отходы (РАО) отходы, содержащие радиоактивные химические элементы и не имеющие практической ценности. Часто это продукты ядерных процессов, таких как ядерное деление. Большую часть РАО составляют так называемые «малоактивные… … Википедия
Медицина — I Медицина Медицина система научных знаний и практической деятельности, целями которой являются укрепление и сохранение здоровья, продление жизни людей, предупреждение и лечение болезней человека. Для выполнения этих задач М. изучает строение и… … Медицинская энциклопедия
Солнечная система — в представлении художника. Масштабы расстояний от Солнца не соблюдены. Общие характеристики Возраст … Википедия
Вымпел-Коммуникации — Координаты: 55°48′10.13″ с. ш. 37°33′14.99″ в. д. / 55.802814° с. ш. 37.554164° в. д. … Википедия
Дирака уравнение — Уравнение Дирака квантовое уравнение движения электрона, удовлетворяющее требованиям теории относительности, применимое также для описание других точечных фермионов со спином 1/2; установлено П. Дираком в 1928. Содержание 1 Вид уравнения 2… … Википедия
BMP — Для термина «Bitmap» см. другие значения. Windows Bitmap Расширение .bmp, .dib MIME image/x ms bmp, image/x bmp Разработан Microsoft Тип формата растровая графика … Википедия
Ա — Армянский алфавит Ա Բ Գ Դ Ե Զ Է Ը … Википедия
Айб — У этого термина существуют и другие значения, см. Айб (значения). Ա ա Армянский алфавит Ա Aйб Բ Бен … Википедия
Девелопер — (Developer) Девелопер это предприниматель, занимающийся созданием новых объектов недвижимости или разрабатывающий стратегии развития Понятие девелопера, виды девелоперов и их деятельность, этапы деятельности крупных девелоперов при разработке… … Энциклопедия инвестора
